Semantic inconsistency measures using 3-valued logics

AI systems often need to deal with inconsistencies. One way of getting information about inconsistencies is by measuring the amount in knowledgebase. In past 20 years numerous inconsistency measures have been proposed. Many these are syntactic measures, that is, they based some on minimal inconsistent subsets Very little attention has given semantic ones models knowledgebase where notion a model generalized allow an atom be assigned truth value denotes contradiction. fact, only one nontrivial measure, contension wide use. The purpose this paper define class 3-valued logics. First, we show which logics useful for purpose. Then can developed using graphical framework similar studied. We give several examples and how apply three also investigate properties their computation knowledgebases.